Automatyczne dowodzenie twierdzeń

Qualità:

L'articolo "Automatyczne dowodzenie twierdzeń" nella Wikipedia in polacco ha 10.7 punti per la qualità (al 1 novembre 2023). L'articolo contiene 1 riferimenti e 6 sezioni.

Questo articolo ha la migliore qualità nella Wikipedia in portoghese. Tuttavia, la versione linguistica più popolare di questo articolo è il inglese.

Dalla creazione dell'articolo "Automatyczne dowodzenie twierdzeń", il suo contenuto è stato scritto da 25 utenti registrati di Wikipedia in polacco e modificato da 421 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 32 volte nella Wikipedia in polacco e citato 786 volte in tutte le lingue.

Il grado di interesse degli autori più alto dal 2001:/p>

• Locale (polacco): N. 229 nel dicembre 2002
• Globale: N. 159 nel novembre 2001

Il grado di popolarità più alto dal 2008:

• Locale (polacco): N. 55479 nel gennaio 2008
• Globale: N. 76451 nell'agosto 2008

Ci sono 17 versioni linguistiche per questo articolo nel database WikiRank (delle 55 edizioni linguistiche di Wikipedia considerate).

La valutazione della qualità e della popolarità si basava sui dump di Wikipedia del 1 novembre 2023 (inclusa la cronologia delle revisioni e le visualizzazioni di pagina degli anni precedenti).

La tabella seguente mostra le versioni linguistiche dell'articolo con la massima qualità.

#	Lingua	Grado di qualità	Punteggio di qualità
1	portoghese (pt) Prova automática de teoremas		34.3697
2	inglese (en) Automated theorem proving		33.711
3	giapponese (ja) 自動定理証明		22.9089
4	italiano (it) Dimostrazione automatica di teoremi		20.6412
5	spagnolo (es) Demostración automática de teoremas		14.5303
6	basco (eu) Teoremen frogapen automatiko		11.4951
7	polacco (pl) Automatyczne dowodzenie twierdzeń		10.7179
8	russo (ru) Автоматическое доказательство		8.8301
9	azero (az) Teoremlərin avtomatik sübutu		8.1057
10	cinese (zh) 自動化定理證明		5.263

La tabella seguente mostra le versioni linguistiche più popolari dell'articolo.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Automated theorem proving		969 656
2	spagnolo (es) Demostración automática de teoremas		160 435
3	giapponese (ja) 自動定理証明		94 253
4	russo (ru) Автоматическое доказательство		81 984
5	polacco (pl) Automatyczne dowodzenie twierdzeń		63 187
6	cinese (zh) 自動化定理證明		32 009
7	francese (fr) Démonstration automatique de théorèmes		28 548
8	portoghese (pt) Prova automática de teoremas		18 872
9	italiano (it) Dimostrazione automatica di teoremi		11 350
10	persiano (fa) اثبات قضیه خودکار		10 935

La tabella seguente mostra le versioni linguistiche dell'articolo con la maggiore popolarità nell'ultimo mese.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Automated theorem proving		5 345
2	giapponese (ja) 自動定理証明		421
3	russo (ru) Автоматическое доказательство		360
4	spagnolo (es) Demostración automática de teoremas		321
5	cinese (zh) 自動化定理證明		178
6	francese (fr) Démonstration automatique de théorèmes		107
7	polacco (pl) Automatyczne dowodzenie twierdzeń		102
8	italiano (it) Dimostrazione automatica di teoremi		100
9	persiano (fa) اثبات قضیه خودکار		54
10	portoghese (pt) Prova automática de teoremas		51

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Automated theorem proving		209
2	spagnolo (es) Demostración automática de teoremas		35
3	francese (fr) Démonstration automatique de théorèmes		26
4	giapponese (ja) 自動定理証明		26
5	polacco (pl) Automatyczne dowodzenie twierdzeń		25
6	russo (ru) Автоматическое доказательство		22
7	italiano (it) Dimostrazione automatica di teoremi		18
8	portoghese (pt) Prova automática de teoremas		16
9	cinese (zh) 自動化定理證明		11
10	ucraino (uk) Автоматизоване доведення теорем		9

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori nell'ultimo mese.

#	Lingua	Premio IA	IA relativi
1	coreano (ko) 자동 정리 증명		2
2	inglese (en) Automated theorem proving		1
3	italiano (it) Dimostrazione automatica di teoremi		1
4	azero (az) Teoremlərin avtomatik sübutu		0
5	spagnolo (es) Demostración automática de teoremas		0
6	basco (eu) Teoremen frogapen automatiko		0
7	persiano (fa) اثبات قضیه خودکار		0
8	francese (fr) Démonstration automatique de théorèmes		0
9	armeno (hy) Թեորեմների ավտոմատացված ապացուցում		0
10	giapponese (ja) 自動定理証明		0

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggior numero di citazioni.

Il 11 giugno 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: campionato europeo di calcio 2024, ChatGPT, Qualificazioni al campionato mondiale di calcio 2026 - AFC, Cristiano Ronaldo, YouTube, campionato europeo di calcio, morti nel 2024, Malawi, Campionati europei di atletica leggera 2024, Hunter Biden.

Nella Wikipedia in polacco gli articoli più popolari quel giorno erano: Marzena Kipiel-Sztuka, Mistrzostwa Europy w Piłce Nożnej 2024, Natalia Kaczmarek, Nicola Zalewski, Mistrzostwa Europy w Lekkoatletyce 2024, Róża Thun, Bieg na 400 metrów, Kacper Urbański, Grzegorz Braun, Chris Kyle.

Il progetto è finalizzato alla valutazione relativa automatica degli articoli nelle diverse versioni linguistiche di Wikipedia. Al momento il servizio permette di confrontare oltre 44 milioni di articoli di Wikipedia in 55 lingue. I punteggi di qualità degli articoli si basano sui dump di Wikipedia del novembre 2023. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del ottobre 2023. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2023... More information